“静态代码分析”专利关键词查询_检索下载_查询列表_检索列表_行业专利分布_钻瓜专利网

钻瓜专利网为您找到相关结果904313个，建议您升级VIP下载更多相关专利

[发明专利]一种代码静态分析方法和装置-CN201810792456.4在审
发明人：袁伟 -专利权人：北京奇虎科技有限公司
申请日： 2018-07-18 - 公布日： 2020-01-31 - 主分类号： G06F8/75 文献下载
摘要：本发明公开了一种代码静态分析方法、装置、电子设备、计算机可读存储介质。该方法包括：接收用户提交的代码静态分析结果数据，并进行验证分析；通过区块链技术，将验证通过的代码静态分析结果数据保存至区块链的指定区块中；以及，通过区块链技术，向验证通过的用户的账户分发与其提交的代码静态分析结果数据对应的一定数量的虚拟货币通过本技术方案，提高用户提交代码静态分析结果数据的兴趣，另外，根据用户提交的代码静态分析结果数据，得到用户对代码静态分析工具的分析反馈，有利于提供方掌握代码静态分析工具的运行情况以及分析规则的缺陷，进而有利于对代码静态分析工具的优化，通过用户对代码静态分析工具的使用体验。
代码静态分析结果数据区块验证通过用户提交计算机可读存储介质电子设备分析规则接收用户虚拟货币提供方分发分析验证反馈保存账户优化

[发明专利]一种代码处理方法以及相关设备-CN202011499700.1在审
发明人：史海 -专利权人：华为云计算技术有限公司
申请日： 2020-12-17 - 公布日： 2022-06-21 - 主分类号： G06F8/41 文献下载
摘要：本申请提供了一种代码处理方法，应用于代码处理系统，该系统包括编译器，该方法包括：编译器获取代码，从远端的静态分析规则库获取代码对应的静态分析规则，根据静态分析规则获得对代码的分析结果。该方法利用编译器调用远端的静态分析规则库中的静态分析规则进行静态分析，无需软件开发人员花费大量时间和精力学习使用不同种类的静态分析工具，提高了静态分析的效率，提高了用户体验。
一种代码处理方法以及相关设备

[发明专利]一种C++Test定制化方法及航天型号软件代码单元静态分析方法-CN202010835152.9在审
发明人：侯晓欢 -专利权人：江南机电设计研究所
申请日： 2020-08-19 - 公布日： 2020-11-20 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种C++Test定制化方法及航天型号软件代码单元静态分析方法，该定制化方法包括步骤S01：裁剪C++Test中不适用航天型号软件代码单元静态分析的编码规则集；步骤S02：对经所述步骤S01裁剪后适用航天型号软件代码单元静态分析的多个编码规则集中的规则进行裁剪，得到适用航天型号软件代码单元静态分析的C++Test。本发明对C++Test中不适用航天型号软件代码单元静态分析的编码规则集以及多个编码规则集中的规则进行裁剪，提高了C++Test在航天型号软件代码规范静态分析应用中的实用性和代码规范静态分析效率。
一种 test 定制方法航天型号软件代码单元静态分析

[发明专利]代码质量检测方法、装置、计算机设备和存储介质-CN202310784106.4在审
发明人：林楠;林维城;郭享;陈容;宋冰蕊 -专利权人：兴业银行股份有限公司;兴业数字金融服务（上海）股份有限公司
申请日： 2023-06-29 - 公布日： 2023-10-17 - 主分类号： G06F11/36 文献下载
摘要：本申请涉及一种代码质量检测方法、装置、计算机设备、存储介质和计算机程序产品。其方法通过预先配置的静态分析工具对待检测代码进行静态分析，得到静态分析结果，并根据待检测代码生成测试用例，进而运行测试用例，获取测试用例运行过程中的动态日志信息，最后根据静态分析结果和动态日志信息，生成待检测代码的质量检测结果其通过将静态分析与动态分析相结合，并能实现自动化的代码质量检测，不仅能够提高对代码的检测效率，且能够降低人力成本。
代码质量检测方法装置计算机设备存储介质

[发明专利]一种基于Makefile的代码静态分析方法和装置-CN201711168046.4有效
发明人：徐长辉;王凡;陈铭;郑侠松;罗杰 -专利权人：广州视源电子科技股份有限公司
申请日： 2017-11-21 - 公布日： 2021-02-09 - 主分类号： G06F8/41 文献下载
摘要：本申请提供了一种基于Makefile的代码静态分析方法和装置，本申请先确定待分析的源代码文件，再调用Makefile系统生成所述源代码文件的依赖关系信息，最后将所述源代码文件及其依赖关系信息输入静态分析程序，得到所述源代码文件的静态分析结果，进一步地，可以利用编写脚本的方式实现编译以及静态分析的自动执行。与现有技术相比，不再需要人为确定源代码文件的依赖关系，节省了较多的时间和人力的同时提高了静态分析工具报告结果的准确度。
一种基于 makefile 代码静态分析方法装置

[发明专利]一种信息处理方法及装置-CN201510242820.6有效
发明人：董杰 -专利权人：腾讯科技（成都）有限公司
申请日： 2015-05-13 - 公布日： 2020-03-17 - 主分类号： G06F11/36 文献下载
摘要：本发明公开了一种信息处理方法，所述方法包括：利用静态代码分析工具对待测试代码进行静态代码分析后，获取关于代码风险告警的输出日志；根据所述输出日志确定为所述代码风险告警在所述静态代码分析工具中配置文件的分析参数下的分布信息；将满足预设条件的分析参数，确定为所述分析参数的目标搜索范围；按照所述目标搜索范围对所述配置文件中分析参数的初始搜索范围进行修改，得到修改后的配置文件；按照所述修改后的配置文件对所述待测试代码进行静态代码分析
一种信息处理方法装置

[发明专利]一种软件代码测试方法、装置、车辆及存储介质-CN202310958509.6在审
发明人：程志均 -专利权人：重庆长安汽车股份有限公司
申请日： 2023-08-01 - 公布日： 2023-09-22 - 主分类号： G06F11/36 文献下载
摘要：本发明涉及代码测试技术领域，特别涉及一种软件代码测试方法、装置、车辆及存储介质，所述方法包括：获取待测试代码的编译状态信息，基于所述编译状态信息，获取代码分析工具；基于所述代码分析工具，对所述待测试代码进行静态代码分析，得到静态代码分析报告；若所述静态代码分析报告反映所述待测试代码分析成功，则获取代码测试工具；基于所述代码测试工具，对所述待测试代码进行软件单元测试，得到软件单元测试报告。
一种软件代码测试方法装置车辆存储介质

[发明专利]针对Linux恶意代码的技战术自动化分析系统、方法、介质及设备-CN202211489344.4在审
发明人：方焯;王轶骏;薛质 -专利权人：上海交通大学
申请日： 2022-11-25 - 公布日： 2023-06-13 - 主分类号： G06F21/56 文献下载
摘要：本发明提供了一种针对Linux恶意代码的技战术自动化分析系统、方法、介质及设备，包括：规则生成步骤：爬取MITRE ATTCK技战术描述网页，提取实施攻击对应的特征信息，基于提取的特征信息编写技战术识别规则；静态分析和识别步骤：对加壳的恶意代码进行脱壳处理，并对恶意代码进行静态规则匹配，静态地识别恶意代码使用的技战术；动态分析和识别步骤：执行恶意代码，并监控恶意代码行为，基于监控的恶意代码行为对恶意代码进行动态规则匹配，动态地识别恶意代码使用的技战术；报告输出步骤：对静态分析和动态分析结果进行归一化处理，展示恶意代码具备的ATTCK技战术；所述技战术识别规则包括静态规则和动态规则。
针对 linux 恶意代码技战术自动化分析系统方法介质设备

[发明专利]一种源代码静态分析处理方法及装置-CN202211707410.0在审
发明人：张月;司冠林;孙跃;景森;李敏;高冉馨;陈乐然;董彬;侯聪;石磊;韩哲;徐小天;陈威 -专利权人：华北电力科学研究院有限责任公司;国家电网有限公司
申请日： 2022-12-27 - 公布日： 2023-07-07 - 主分类号： G06F11/36 文献下载
摘要：本发明提供一种源代码静态分析处理方法及装置，涉及知识图谱技术领域。所述方法包括：获取待分析的源代码图谱；所述源代码图谱是由知识图谱表示的源代码信息；在知识图谱存储数据库中查找是否存在与所述源代码图谱相匹配的知识图谱子图，并根据查找结果确定与源代码图谱对应源代码的源代码静态分析结果；其中，所述知识图谱子图反映源代码信息和漏洞相关信息之间的映射关系。本发明实施例提供的源代码静态分析处理方法及装置，能够为源代码静态分析提供可行的“搜索”路径，进而提高源代码审计的检测效率。
一种源代码静态分析处理方法装置

[发明专利]恶意代码检测方法、装置、设备及存储介质-CN202011555016.0在审
发明人：崔哲 -专利权人：北京鸿腾智能科技有限公司
申请日： 2020-12-23 - 公布日： 2021-04-09 - 主分类号： G06F21/56 文献下载
摘要：本发明属于安全检测技术领域，公开了一种恶意代码检测方法、装置、设备及存储介质。该方法对待检测代码进行静态分析获得静态特征；对待检测代码进行动态分析获得动态特征；根据静态特征和动态特征构建特征模型；基于预设分类算法对特征模型进行分类，获得待检测代码的分类结果；根据分类结果判断待检测代码是否为恶意代码本发明中通过动、静态分析两种模式互补进而提高特征模型准确性，特征模型输出的分类结果将动、静态分析后的结果进行整合，将动、静态分析的优势结合，既能有效避开恶意代码对抗传统提取特征的行为干扰，又能提高特征模型检测速度，有利于提高恶意代码的识别能力，降低特征模型的失误率，提高特征模型检测的泛化能力。
恶意代码检测方法装置设备存储介质

[发明专利]一种基于静态检测的模糊测试方法-CN201410799828.8在审
发明人：常承伟;吴明杰;王泽玉;温泉;施学成;王斌;陈志浩 -专利权人：中国航天科工集团第二研究院七〇六所
申请日： 2014-12-19 - 公布日： 2015-04-29 - 主分类号： G06F21/57 文献下载
摘要：本发明属于网络安全技术领域，涉及一种基于静态检测的模糊测试方法。所述方法包括源代码静态分析和可执行代码模糊测试。首先通过源代码静态分析相关软件对目标软件进行静态分析，模糊测试获得静态分析结果，然后对静态分析认为存在问题的代码段进行插桩标记，最后基于插桩标记对测试用例进行变异，使测试用例能够覆盖存在问题的全部代码段本发明结合静态检测和模糊测试优势，通过模糊测试对静态检测进行验证，排除静态检测的误报情况。另一方面，利用静态检测的结果对模糊测试进行指导，令模糊测试所使用的随机测试用例更有针对性，提高了模糊测试的效率。克服了采用随机用例进行测试的传统方法中存在的误报率高、检测效率低等缺点。
一种基于静态检测模糊测试方法

[发明专利]代码测试方法及装置、存储介质、电子设备-CN201811217802.2有效
发明人：周羽奇 -专利权人：网易（杭州）网络有限公司
申请日： 2018-10-18 - 公布日： 2022-02-18 - 主分类号： G06F11/36 文献下载
摘要：本公开是关于一种代码测试方法、装置、存储介质及电子设备，属于软件测试技术领域，该方法包括：获取目标代码的抽象语法树，并从所述抽象语法树得到至少一个静态信息；通过所述至少一个静态信息对所述目标代码进行分析，得到每个静态信息对应的分析结果；将每个所述分析结果与每个静态信息关联的参考信息进行比较，以判断所述目标代码是否符合预设条件。该方法通过静态信息对目标代码进行测试，提高了测试准确率。
代码测试方法装置存储介质电子设备

[发明专利]一种Java程序静态编译方法及装置-CN202211313721.9在审
发明人：林子熠;缪新元;陈雨亭;蒯微;李三红 -专利权人：阿里巴巴（中国）有限公司
申请日： 2022-10-25 - 公布日： 2023-01-20 - 主分类号： G06F8/41 文献下载
摘要：本说明书一个或多个实施例提供一种Java程序静态编译方法及装置。所述方法包括：响应于Java程序的程序代码发生修改，确定Java程序的目标函数为发生修改的程序代码段所位于的函数；基于发生修改前的程序代码针对目标函数进行函数内分析，得到Java程序的第一分析结果，以及，基于发生修改后的程序代码针对目标函数进行函数内分析，得到Java程序的第二分析结果；确定第一分析结果与第二分析结果是否一致；如果一致，则获取针对程序代码发生修改前的Java程序进行全局静态分析得到的静态分析结果，并基于获取到的静态分析结果，针对程序代码发生修改后的Java程序进行静态编译。从而提高Java程序静态编译的效率。
一种 java 程序静态编译方法装置

[发明专利]一种面向软件静态分析的循环代码处理方法和装置-CN202310691699.X有效
发明人：曾福萍;王泽宇;孙璐;杨顺昆 -专利权人：北京航空航天大学
申请日： 2023-06-13 - 公布日： 2023-09-08 - 主分类号： G06F11/36 文献下载
摘要：本发明属于软件代码检测与分析技术领域，公开了一种面向软件静态分析的循环代码处理方法和装置。通过开展相关数学知识库构建、可精确处理循环代码类型库建立完成处理前的准备工作，为后续处理实施环节奠定基础。针对被分析循环代码，首先构建循环代码模型，为精确处理提供代码信息支持；然后针对循环变量，构建其对应的函数关系；其次基于循环代码模型信息，判断被分析循环代码是否可精确求解类型；之后依据建立的循环出口方程和循环变量初值求解最大循环次数和循环变量值；最后针对被分析循环代码建立等价仿真节点，为循环代码的静态分析提供支持。本发明能够提高循环代码静态分析的正确性，为可工程化循环代码精确处理提供工具手段。
一种面向软件静态分析循环代码处理方法装置

[发明专利]一种内嵌Lua代码静态分析方法及系统-CN202310266070.0在审
发明人：王柄淋;叶子聪;李海兵;王文娟;王妍兰;康江彬;李小壮 -专利权人：天翼云科技有限公司
申请日： 2023-03-13 - 公布日： 2023-07-11 - 主分类号： G06F8/41 文献下载
摘要：本申请涉及一种内嵌Lua代码静态分析方法、系统、计算机设备及存储介质，该方法包括以下步骤：获取源代码，源代码为Nginx的conf文件；解析conf文件，并获取其中内嵌的Lua代码；针对业务场景下的Lua代码进行静态分析，并生成分析报告，静态分析包括词法及语法分析、语义分析以及逻辑分析。该方法定制化的执行特定业务场景下的Lua代码逻辑分析，在不直接运行代码的情况下，通过对代码文本进行词法、语法分析、语义分析及逻辑分析，从而验证代码的规范性、安全性、可靠性及可维护性等指标，该方法能够在软件开发流程早期发现代码中的各种问题，减少开发过程中的错误，提升代码开发的质量与效率。
一种 lua 代码静态分析方法系统

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
下一页»
尾页
共 100000 条